Issue2776.agda:15,8-11
(z : C) {y : D} (x : Set) → D → Set₁ !=< Set
when checking that the expression M.G has type Set
